Satisfying First-Order Constraints About Time Intervals
نویسنده
چکیده
James Allen defined a calculus of time intervals in [A1183], as a representation of temporal knowledge that could be used in AI. We shall call this the Interval Culculus. In his paper, Allen investigated specification and constraint satisfaction in the Interval Calculus. Other constraintsatisfaction algorithms for intervals have considered subclasses of Boolean formulas only. The methods herein extend consistency-checking and constraint-satisfaction procedures to finitely many arbitrary quantified formulas in the Interval Calculus. We use a first-order theory from [LadMad87.1, LadMad88.11, that precisely corresponds to Allen’s calculus. We show that every first-order constraint expressible in this theory is equivalent to a Boolean constraint of a particular restricted form. We use this result to obtain a procedure for detecting consistency of arbitrary quantified formulas, and finding intervals that satisfy arbitrary consistent formulas of the Interval Calculus.
منابع مشابه
SINGLE MACHINE DUE DATE ASSIGNMENT SCHEDULING PROBLEM WITH PRECEDENCE CONSTRAINTS AND CONTROLLABLE PROCESSING TIMES IN FUZZY ENVIRONMENT
In this paper, a due date assignment scheduling problem with precedence constraints and controllable processing times in uncertain environment is investigated, in which the basic processing time of each job is assumed to be the symmetric trapezoidal fuzzy number, and the linear resource consumption function is used.The objective is to minimize the crisp possibilistic mean (or expected) value of...
متن کاملGenerating Optimal Timetabling for Lecturers using Hybrid Fuzzy and Clustering Algorithms
UCTTP is a NP-hard problem, which must be performed for each semester frequently. The major technique in the presented approach would be analyzing data to resolve uncertainties of lecturers’ preferences and constraints within a department in order to obtain a ranking for each lecturer based on their requirements within a department where it is attempted to increase their satisfaction and develo...
متن کاملTime Constraints in Workflow Systems
Time management is a critical component of workflow-based process management. Important aspects of time management include planning of workflow process execution in time, estimating workflow execution duration, avoiding deadline violations, and satisfying all external time constraints such as fixed-date constraints and upper and lower bounds for time intervals between activities. In this paper,...
متن کاملMental Models of the Earth, Sun, and Moon: Indian Children’s Cosmologies
This study reports data on the acquisition of knowledge about astronomy in children from India. Based on prior research, we hypothesized that the cosmological models that children construct are influenced by both first-order and second-order constraints on knowledge acquisition. First-order constraints are the implicit assumptions that govern the construction of initial cosmological models. Exa...
متن کاملبهینهسازی سیستم گردش شغلی مبتنی بر عوامل ریسک ارگونومیک مشاغل
Background and aims: The job safety is one of the necessary aspects of efficiency in humane resource manangement of every organization, and if organizations enable to reduce the rate of job accidents and undesirable stress, then performance of workers become more efficient. Hence, job rotation is as good as a rest to increase efficiency. The aim of this research is to design an appropriate job ...
متن کامل